java -jar Visualizer.jar -exec a.exe -vis -manual -seed 1